منابع مشابه
Bericht über die GWAI'90
Worten: elf) aus der (zur Zeit der Abfassung des Berichts) "Noch-DDR" (ich hoffe, daß Ingrid Matthäus-Meier Recht behält, die einmal anläßlich einer Parlamentsdebatte gesagt hat: "Ein Kennzeichen der deutschen Sprache ist ihre Unkaputtmachbarkeit.").
متن کاملÜber die Präzision interprozeduraler Analysen
In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is pres...
متن کاملDie Schrift des Rufus von Ephesos über die Gelbsucht
The greater part of this book is devoted to a study of Aristotle's theory of heredity in the De generatione animalium. Morsink argued that Aristotle is there engaging in dialectical dispute against the pangenesis theory of inheritance as advocated in "Hippocrates" On semen and On the nature of the child, and that Aristotle's own explanation in terms of form provided by the male parent and matte...
متن کاملÜber die formale Beschreibung räumlicher Netze
Thema dieses Vortrags ist ein grundlegender Formalismus, der die räumliche Struktur und sofern vorhanden das Zeitverhalten diskreter Systeme beschreibt, d.h. von Systemen mit individuellen Komponenten. Genauer gesagt, ist der Formalismus eine formale Sprache, die in ihrem Kern das Skelett beschreibt, auf das sich alle diskreten Systeme durch Abstraktion reduzieren lassen. Umgekehrt kann das Ske...
متن کاملÜber die besonderen Vertrauenserwartungen an elektronische Wahlsysteme
Vertrauenserwartungen an elektronische Wahlsysteme unterscheiden sich von den Erwartungen an andere technische Systeme. Das manifestiert sich bei fehlenden externen Referenzen für die Zuverlässigkeit, bei stark erhöhten Transparenzanforderungen und bei der unabhängigen Handlungsfähigkeit der Wahlvorstände. In der Konsequenz sind für eine breite Akzeptanz unter der Wählerschaft Grundsätze zu bea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomische Nachrichten
سال: 1890
ISSN: 0004-6337,1521-3994
DOI: 10.1002/asna.18901242302